Realizability algebras III: some examples
نویسندگان
چکیده
منابع مشابه
Realizability algebras III: some examples
The notion of realizability algebra, which was introduced in [17, 18], is a tool to study the proof-program correspondence and to build new models of set theory, which we call realizability models of ZF. It is a variant of the well known notion of combinatory algebra, with a new instruction cc, and a new type for the environments. The sets of forcing conditions, in common use in set theory, are...
متن کاملSome Examples of Lifting Problems from Quotient Algebras
Abstract. We consider three lifting questions: Given a C∗-algebra I, if there is a unital C∗-algebra A contains I as an ideal, is every unitary from A/I lifted to a unitary in A? is every unitary from A/I lifted to an extremal partial isometry? is every extremal partial isometry from A/I lifted to an extremal partial isometry? We show several constructions of I which serve as working examples o...
متن کاملGraded Commutative Algebras : Examples
We consider Γ-graded commutative algebras, where Γ is an abelian group. Starting from a remarkable example of the classical algebra of quaternions and, more generally, an arbitrary Clifford algebra, we develop a general viewpoint on the subject. We then give a recent classification result and formulate an open problem.
متن کاملExamples of Homotopy Lie Algebras
We look at two examples of homotopy Lie algebras (also known as L∞ algebras) in detail from two points of view. We will exhibit the algebraic point of view in which the generalized Jacobi expressions are verified by using degree arguments and combinatorics. A second approach using the nilpotency of Grassmann-odd differential operators ∆ to verify the homotopy Lie data is shown to produce the sa...
متن کاملHopf algebras: motivations and examples
This paper provides motivation as well as a method of construction for Hopf algebras, starting from an associative algebra. The dualization technique involved relies heavily on the use of Sweedler’s dual.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2016
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129516000050